1. A handbook of model categories
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model categories (Mathematics) ;
2. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
3. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
4. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
5. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
6. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
7. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
8. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
9. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
10. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
11. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
12. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
13. Models, logics, and higher-dimensional categories : a tribute to the work of Mihaly Makkai
پدیدآورنده : Bradd Hart ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Model theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
7
.
M67
14. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده : Ghilardi, Silvio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
15. Uncountably categorical theories
پدیدآورنده : Zilber, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Completeness theorem
رده :
QA
9
.
7
.
Z513
